<?php
include ("./library.php");
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<title>JBS</title>
<link href="index.css" type="text/css" rel="stylesheet"/>
<script src="index.js" type="text/javascript"></script>
</head>
<body>

<div id="container">

<div id="wrapper">

	<div id="menu">
	<?php
	 if(isset($_SESSION[user])){
        ?>
		<ul id="verticalmenu" class="jbsmenu">
                <li><a href="./posting.php" target="mainFrame">Posting</a></li>
		<li><a href="./profile.php" target="mainFrame">My Profile</a></li>
		<li><a href="#">Messages</a>
		<li><a href="#">Account Settings</a></li>
                <li><a href="./search.php" target="mainFrame">Search</a></li>
                </br>
                <li><a href="./logout.php" target="mainFrame">Logout</a></li>
		
		</ul>
	<?php }
	  else{
	?>
		<ul id="verticalmenu" class="jbsmenu">
                <li><a href="./search.php" target="mainFrame">Search</a></li>
		<li><a href="./register.php" target="mainFrame">Register</a></li>
		<li><a href="./login.php" target="mainFrame">Login</a>
		</ul> 
	<?php } ?>             
	</div>

</div>

</div>
</body>
</html>